منابع مشابه
Natural Numbers
In this article we present several logical schemes. The scheme NonUniqRecExD deals with a non empty set A, an element B of A, and a ternary predicate P, and states that: There exists a function f from N into A such that f(0) = B and for every element n of N holds P[n, f(n), f(n + 1)] provided the following condition is satisfied: • For every natural number n and for every element x of A there e...
متن کاملMonoids of Natural Numbers
and h2, bi = {0, 2, 4, . . . , b− 3} ∪ {b− 1, b, b+ 1, b+ 2, b+ 3, . . .} when b ≥ 3 is odd. A numerical monoid S is a subset of N that is closed under addition, contains 0, and has finite complement in N . (Most authors use the phrase “numerical semigroup”, but semigroups by definition need not contain 0, hence the usage is puzzling.) The Frobenius number f of S is the maximum element in the s...
متن کاملLength Spectra of Natural Numbers
Two numbers are spectral equivalent if they have the same length spectrum. We show how to compute the equivalence classes of this relation. Moreover, we show that these classes can only have either 1, 2 or infinitely many elements.
متن کاملFunctional units for natural numbers
Interaction with services provided by an execution environment forms part of the behaviours exhibited by instruction sequences under execution. Mechanisms related to the kind of interaction in question have been proposed in the setting of thread algebra. Like thread, service is an abstract behavioural concept. The concept of a functional unit is similar to the concept of a service, but more con...
متن کاملWhat About the Natural Numbers?
A prime concern in the design of any general purpose programming language should be the ease and safety of working with natural numbers, particularly in conjunction with discrete data structures. This theme of commitment to the naturals as the basic numeric data type is explored in the context of a lazy functional language. Non-Title
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Crítica (México D. F. En línea)
سال: 1991
ISSN: 1870-4905,0011-1503
DOI: 10.22201/iifs.18704905e.1991.812